Search Results
Coq Intensive Lecture 2 (2018)
Coq Intensive Lecture 3 (2018)
Coq Intensive Lecture 1 (2018)
Coq Intensive Lecture 5 (2018)
Mtac2 - Typed Tactics for Backward Reasoning in Coq
Functional Programming in Coq theorem prover - Lecture 2.
Gabriel Claramunt - Introduction to Coq - Part 2 of 2 - λC 2017
Stephan Boyer - Proving Theorems and Certifying Programs with Coq - λC 2018
Stephan Boyer - Unconference Coq - λC 2018
Using Crash Hoare logic for certifying the FSCQ file system
Formal Methods for the Informal Engineer: Tutorial #2 - The Coq Theorem Prover (2021)
Gabriel Claramunt - Introduction to Coq - Part 1 of 2 - λC 2017
